timedState(${\it ds}$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$x$:Id$\rightarrow\mathbb{Q}\rightarrow$fpf{-}cap(${\it ds}$;IdDeq;$x$;Top)